-
1 logical axiom
-
2 logical axiom
Большой англо-русский и русско-английский словарь > logical axiom
-
3 logical axiom
Вычислительная техника: логическая аксиома -
4 logical axiom
English-Russian dictionary of computer science and programming > logical axiom
-
5 logical axiom
-
6 logical axiom
Англо-русский словарь по исследованиям и ноу-хау > logical axiom
-
7 axiom
- action precondition axiom
- axiom of assignment
- axiom of iteration
- axiom of selection
- frame axiom
- logical axiom
- negative effect axiom
- positive effect axiom
- practicability axiom
- reducibility axiom
- self-organization axiom
- sequencing axiom
- successor state axiom
- unique name axiomEnglish-Russian dictionary of computer science and programming > axiom
-
8 axiom
-
9 sequencing axiom
-
10 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
11 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
12 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
13 логическая аксиома
Большой англо-русский и русско-английский словарь > логическая аксиома
-
14 логікавая аксіёма
logical axiomБеларуска-ангельскі слоўнік матэматычных тэрмінаў і тэрміналагічных словазлучэнняў > логікавая аксіёма
-
15 логическая аксиома
Русско-английский словарь по вычислительной технике и программированию > логическая аксиома
-
16 логическая аксиома
Русско-английский большой базовый словарь > логическая аксиома
-
17 логическая аксиома
Information technology: logical axiomУниверсальный русско-английский словарь > логическая аксиома
-
18 prouver
prouver [pʀuve]➭ TABLE 1 transitive verb• il est prouvé que... it has been proved that...• cela prouve que... it proves that...• il a voulu se prouver (à lui-même) qu'il en était capable he wanted to prove to himself that he was capable of it* * *pʀuve
1.
1) ( établir la réalité de) to proveil faudrait qu'il accepte, et ça n'est pas prouvé — (colloq) he has to accept and there's no guarantee that he will
2) ( indiquer) to show3) ( exprimer) to demonstrate [sentiment]
2.
se prouver verbe pronominal1) ( à soi-même) to prove to oneself2) ( être démontré)3) ( l'un l'autre)••* * *pʀuve vtprouver par A+B que; prouver par A plus B que — to prove logically that
* * *prouver verb table: aimerA vtr1 ( établir la réalité de) to prove; ton hypothèse reste à prouver your hypothesis is yet to be proved; il faudrait qu'il accepte, et ça n'est pas prouvé○ he has to accept and there's no guarantee that he will; prouver par l'absurde to prove by reductio ad absurdum; prouver à qn que to prove to sb that; prouver qch à qn to prove sth to sb;2 ( indiquer) to show; tout prouve qu'il est sincère everything shows that he's sincere;3 ( exprimer) to demonstrate [sentiment].B se prouver vpr1 ( à soi-même) elle cherche à se prouver qu'elle a raison she's trying to prove to herself that she's right;2 ( être démontré) un axiome ne se prouve pas an axiom cannot be proved;3 ( l'un l'autre) ils se sont prouvé qu'ils s'aimaient they demonstrated their love for one another.n'avoir plus rien à prouver to have proved oneself.[pruve] verbe transitif1. [faire la preuve de] to proveil n'est pas prouvé que... there's no proof that...les faits ont prouvé qu'elle était bel et bien absente the facts proved her to have indeed been absentprouve-moi le contraire! give me proof of ou to the contrary!il m'a prouvé par A + B que j'avais tort he demonstrated that I was wrong in a very logical way2. [mettre en évidence] to show3. [témoigner] to demonstrateprouver à quelqu'un son amitié/sa reconnaissance to demonstrate one's friendship/gratitude to somebody, to give somebody proof of one's friendship/gratitude————————se prouver verbe pronominal transitif -
19 न्याय
ny-āyám. (fr. 4. ni) that into which a thing goes back
i.e. an original type, standard, method, rule, (esp.) a general orᅠ universal rule, model, axiom, system, plan, manner, right orᅠ fit manner orᅠ way, fitness, propriety TS. Br. Mn. MBh. etc.
( nyāyena andᅠ - yāt ind. either « in the right manner, regularly, duly», orᅠ ifc. « after the manner of, by way of»);
a lawsuit, legal proceeding, judicial sentence, judgment Mṛicch. Pañc. ;
a logical orᅠ syllogistic argument orᅠ inference (consisting of a combination of enthymeme andᅠ syllogism, andᅠ so having, according to the Naiyāyikas 5 members, viz. pratijñā, hetu, udāharaṇa, upanaya, nigamana, orᅠ according to the Vedāntins 3 members);
a system of philosophy delivered by Gotama orᅠ Gautama (it is one of the six darṡanas q.v., andᅠ is perhaps so called, because it « goes into» all subjects physical andᅠ metaphysical according to the above syllogistic method treated of in one division of the system;
its branch is called Vaiṡeshika);
likeness, analogy, a popular maxim orᅠ apposite illustration (cf. kākâ̱kshi-, ghuṇâ̱kshara-, daṇḍâ̱pūpa. etc.);
(am) ind. after a finite verb expresses either censure orᅠ repetition Pāṇ. 8-1, 27.
-
20 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность•
- 1
- 2
См. также в других словарях:
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Axiom of Causality — The Axiom of Causality is the proposition that everything in the universe has a cause and is thus an effect of that cause. This means that if a given event occurs, then this is the result of a previous, related event. If an object is in a certain … Wikipedia
Axiom schema of specification — For the separation axioms in topology, see separation axiom. In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or… … Wikipedia
Axiom — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck „Axiom“ wird in drei Grundbedeutungen verwendet. Er bezeichnet einen unmittelbar einleuchtenden Grundsatz, den… … Deutsch Wikipedia
Axiom of empty set — In set theory, the axiom of empty set is one of the axioms of Zermelo–Fraenkel set theory and one of the axioms of Kripke–Platek set theory. Formal statement In the formal language of the Zermelo–Fraenkel axioms, the axiom reads::exist x, forall… … Wikipedia
Axiom independence — Basic Definition and Requirements= An axiom P is independent if there is no other axiom Q such that Q implies P.In many cases independency is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an… … Wikipedia
Axiom of extensionality — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of… … Wikipedia
Axiom of infinity — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of infinity is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Fraenkel axioms,… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia